1. Agent technology from a formal perspectiv
پدیدآورنده : / edited by Christopher A. Rouff with Michael Hinchey ... [et al.]
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Intelligent agents (Computer software),Intelligent agents (Computer software)--Design,Formal methods (Computer science)
رده :
QA
,
76
.
76
,.
I58
,
A36
,
2005
2. Agent technology from a formal perspective
پدیدآورنده : / edited by Christopher A. Rouff with Michael Hinchey ... [et al.]
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Intelligent agents (Computer software),Intelligent agents (Computer software)- Design,Formal methods (Computer science)
رده :
QA76
.
76
.
I58
,
A36
2005
3. Agent technology from a formal perspective
پدیدآورنده : edited by Christopher A. Rouff with Michael Hinchey ... ]et al.[
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Intelligent agents )Computer software(,Design ، Intelligent agents )Computer software(,، Formal methods )Computer science(
رده :
QA
76
.
76
.
I58
A36
2005
4. Agent technology from a formal perspective
پدیدآورنده : / edited by Christopher A. Rouff with Michael Hinchey ... [et al.]
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Intelligent agents (Computer software),Intelligent agents (Computer software)- Design,Formal methods (Computer science)
رده :
QA76
.
76
.
I58
,
A36
2005
5. Agent technology from a formal perspective
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Intelligent agents (Computer software) ; Intelligent agents (Computer software) ; Design. ; Formal methods (Computer science) ;
6. Agent technology from a formal perspective
پدیدآورنده : / Christopher A. Rouff with Michael Hinchey
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : Intelligent agents (Computer software),Intelligent agents (Computer software) -- Design,Formal methods (computer science)
رده :
QA
76
.
76
.
I58A36
2005
7. Formal models of agents
پدیدآورنده : John-Jules Ch. Meyer, Pierre-Yves Schobbens (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science),Intelligent agents (Computer software)
8. Formal models of agents : ESPRIT Project ModelAge final Workshop : selected papers
پدیدآورنده : John-Jules Ch. Meyer, Pierre-Yves Schobbens )Eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Intelligent agents )Computer software(,، Formal methods )Computer science(
رده :
QA
76
.
L28
Vol
.
1760
9. Teamwork in multi-agent systems
پدیدآورنده : Barbara Dunin - Keplicz, Rineke Verbrugge
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Intelligent agents (Computer software),Formal methods (Computer science),Artificial intelligence
رده :
QA
،
76
.
76
،.
D8
،
2010
10. Teamwork in multi-agent systems
پدیدآورنده : / Barbara Dunin-Keplicz, Rineke Verbrugge
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Intelligent agents (Computer software),Formal methods (Computer science),Artificial intelligence,Electronic books., local
رده :
QA76
.
76
.
I58D98
2010
11. Teamwork in multi-agent systems
پدیدآورنده : Barbara Dunin-Keplicz, Rineke Verbrugge.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Formal methods (Computer science),Intelligent agents (Computer software)
12. Teamwork in multi-agent systems : a formal approach
پدیدآورنده : Dunin-Keplicz, Barbara.
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Intelligent agents )Computer software(,، Formal methods )Computer science(,، Artificial intelligence
رده :
QA
76
.
76
.
I58
D98
2010